The Semidirectly Closed Pseudovariety Generated by Aperiodic Brandt Semigroups
نویسنده
چکیده
This paper presents a study of the semidirectly closed pseudovariety generated by the aperiodic Brandt semigroup B2, denoted V(B2). We construct a basis of pseudoidentities for the semidirect powers of the pseudovariety generated by B2 which leads to the main result, which states that V(B2) is decidable. Independently, using some suggestions given by J. Almeida in his book “Finite Semigroups and Universal Algebra”, we constructed an algorithm to solve the membership problem in V(B2).
منابع مشابه
On Semigroups Whose Idempotent-Generated Subsemigroup is Aperiodic
In this paper, all semigroups are assumed to be finite unless otherwise stated. If H is a pseudovariety of groups (that is, a class of groups closed under formation of finite direct products, subgroups and quotients groups), then it is natural to define a group to be Hsolvable if it has a subnormal series each of whose quotients belongs to H. For instance a group is solvable in the classical se...
متن کاملThe globals of pseudovarieties of ordered semigroups containing B2 and an application to a problem proposed by Pin
Given a basis of pseudoidentities for a pseudovariety of ordered semigroups containing the 5-element aperiodic Brandt semigroup B2, under the natural order, it is shown that the same basis, over the most general graph over which it can be read, defines the global. This is used to show that the global of the level 3/2 of the refinement of Straubing-Thérien’s concatenation hierarchy introduced by...
متن کاملPower Exponents of Aperiodic Pseudovarieties
This paper determines all pseudovarieties of nite semigroups whose powers are contained in DA. As an application, it is shown that it is computable, for a decidable pseudovariety V of aperiodic semigroups, the least exponent n such that the iterated power P n V is the pseudovariety of all nite semigroups.
متن کاملEquations on Semidirect Products of Commutative Semigroups
In this paper; we study equations on semidirect products of commutative semigroups. Let Comq,r denote the pseudovariety of all finite semigroups that satisfy the equations xy = yx and x r + q = xr. The pseudovariety Com1,1 is the pseudovariety of all finite semilattices. We consider the product pseudovariety Comq,r * generated by all semidirect products of the form S*T with S ∈ Comq,r and T ∈ ,...
متن کاملIrreducibility of certain pseudovarieties 1
We prove that the pseudovarieties of all finite semigroups, and of all aperiodic fin1 e sernigroups are irreducible for join, for semidirect product and for hlal 'ce~. product. In particular, these pseudovarieties do not admit maximal proper suhpseudovariet~es. More generally, analogous results are proved for the pseudovar~ety of all finite serrigroups all of whose subgroups are in a fixed pseu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJAC
دوره 11 شماره
صفحات -
تاریخ انتشار 2001